A Moment in Limbo

EGFR in Limbo

The epidermal growth factor receptor (EGFR) is normally activated by ligand-induced dimerization. Oncogenic mutations in EGFR promote activation in a largely ligand-independent manner. Shan et al. uncover a partially disordered state of EGFR kinase, providing evidence that oncogenic mutations counteract this intrinsic structural instability to promote dimerization and aberrant activation.

Biofuels Policy in Limbo

Philip Martin....................................9 Any game works better when the rules are enforced consis­ tently, whether it is the Superbowl or Monopoly around the kitchen table. If the referee is indecisive, then the players are uncertain about how to play and the game degenerates. Transportation fuel markets in the United States currently resemble a game with inconsistently enforced rules...

Combinatorics in Zfc Limbo

In their paper, Large-scale regularities of lattice embeddings of posets [RW99], Remmel and Williamson studied extremal properties of posets and their incomparability graphs on N k . Properties (1) through (3) of their main result, Theorem 1.5, are proved using Ramsey theory. The proof of Theorem 1.5 (4), however, uses Friedman’s Jump Free Theorem ([Fri97] and [Fri98] ), a powerful ZFC independ...

Jordan's Principle remains in limbo.

Limbo: A Reasoning System for Limited Belief

We introduce LIMBO, a reasoning system for limited belief. The system features a highly expressive language with first-order quantification, functions and equality, sorts, and introspective belief modalities. Reasoning is based on clause subsumption, unit propagation, and case splits. Decidability and sometimes even tractability is achieved by limiting the number of case splits. This demo illus...